Approaches to Formal Meta-theory
نویسنده
چکیده
We present an overview of three approaches to formal meta-theory: the formal study of properties of deductive systems. The approaches studied are: nameless dummy variables (also called de Bruijn indices) dB72], rst order abstract syntax for terms with higher order abstract syntax for judgements MP93, MP97], and higher order abstract syntax Pfe91].
منابع مشابه
Meta-analysis of the studies conducted in the field of rural-urban migrations
Iranian formal� censuses indicate that the share of rural population in total population of Iran have been decreasing over the time and many villages are uninhabited. Migration statistics in Iran have also indicated intense migration from villages to the cities during the past half- century. �Many researches have been conducted due to the importance of rural-urban migrations, during the past fe...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملHow Does Explicit and Implicit Instruction of Formal Meta-discourse Markers Affect Learners’ Oral Proficiency?
Meta-discourse markers are an inevitable part of oral proficiency which improve both the quality and comprehension of learners’ speech. While studies of oral meta-discourse have been conducted since the 1980s in a European or US context, they have remained relatively untouched in Iran. Therefore, this study aimed to seek the impact of both explicit and implicit teaching of formal meta-discourse...
متن کاملA Unifying Model for Specification and Design
The application of formal languages in the software development process is becoming more and more evident. Providing formal semantics and tools for the synthesis, analysis and transformation of behavioural models is usually the first step in the process of formal methods development. Many formal methods exist but, as yet, there is an absence of a meta-theory of formal methods. Such a meta-theor...
متن کاملHow does Explicit and Implicit Instruction of Formal Meta-discourse Markers Affect Learners’ Writing Skills?
Discourse markers improve both the quality and comprehension of a written text. This study aimed at investigating the effect of explicit and implicit instruction of formal meta-discourse markers on writ- ing skills. The quantitative data were collected from 90 upper-intermediate students at Shiraz Univer- sity Language Center. Two experimental groups went through an instruction, while the contr...
متن کامل